Nonresident Alien As W2 Employee. How To Figure Out W2 Tax Withholdings.